Auguston, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE Comput. Soc Fifth International Conference on Algorithms and Architectures for Parallel Processing - Beijing, China (23-25 Oct. 2002)] Fifth International Conference on Algorithms and Architectures for Parallel Processing, 2002. Proceedings. - Unified approach for system-level generative programming

Zhisheng Huang,, Raje, R.R., Olson, A.M., Auguston, M.

Year:

2002

Language:

english

File:

PDF, 283 KB

english, 2002

2

[IEEE Comput. Soc Fifth International Conference on Algorithms and Architectures for Parallel Processing - Beijing, China (23-25 Oct. 2002)] Fifth International Conference on Algorithms and Architectures for Parallel Processing, 2002. Proceedings. - Composition and decomposition of quality of service parameters in distributed component-based systems

Changlin Sun,, Raje, R.R., Olson, A.M., Bryant, B.R., Burt, C., Auguston, M., Zhisheng Huang,

Year:

2002

Language:

english

File:

PDF, 206 KB

english, 2002

3

Reactive angioendotheliomatosis presenting as livedo racemosa secondary to propylthiouracil

Singer, Colin, Mallon, Dominic, Auguston, Brad, Lam, Minh, Foster, Rachael

Journal:

Year:

2020

File:

PDF, 872 KB

2020

4

Reinforcement and activation of domestic chicks as a function of the intensity of light onset

Merle E. Meyer, Steven R. Auguston

Journal:

Animal Behaviour

Year:

1969

Language:

english

File:

PDF, 256 KB

english, 1969

5

[IEEE Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. - Monterey, CA, USA (20-24 Sept. 2004)] Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004. - Automated glue/wrapper code generation in integration of distributed and heterogeneous software components

Wei Zhao,, Bryant, B.R., Burt, C.C., Raje, R.R., Olson, A.M., Auguston, M.

Year:

2004

Language:

english

File:

PDF, 335 KB

english, 2004

6

[IEEE EDOC 2002 - 6th IEEE International Conference on Enterprise Distributed Object Computing - Lausanne, Switzerland (17-20 Sept. 2002)] Proceedings. Sixth International Enterprise Distributed Object Computing - Quality of service issues related to transforming platform independent models to platform specific models

Burt, C.C., Bryant, B.R., Raje, R.R., Olson, A., Auguston, M.

Year:

2002

Language:

english

File:

PDF, 452 KB

english, 2002

7

[IEEE Comput. Soc. Press Fifth Israel Conference on Computer Systems and Software Engineering - Herzlia, Israel (28-29 May 1991)] [1991] Proceedings the Fifth Israel Conference on Computer Systems and Software Engineering - FORMAN-Program formal annotation language

Year:

1991

Language:

english

File:

PDF, 517 KB

english, 1991

8

Environment behavior models for automation of testing and assessment of system safety

Mikhail Auguston, James Bret Michael, Man-Tak Shing

Journal:

Information and Software Technology

Year:

2006

Language:

english

File:

PDF, 192 KB

english, 2006

9

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP

Zhang, Xian, Liu, Yang, Auguston, Mikhail

Year:

2010

Language:

english

File:

PDF, 458 KB

english, 2010

10

[IEEE 1993 Euromicro Workshop on Parallel and Distributed Processing - Gran Canaria, Spain (27-29 Jan. 1993)] 1993 Euromicro Workshop on Parallel and Distributed Processing - PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications

Auguston, M., Fritzson, P.

Year:

1993

Language:

english

File:

PDF, 678 KB

english, 1993

11

[ACM Press Proceeding of the 24th ACM SIGPLAN conference companion - Orlando, Florida, USA (2009.10.25-2009.10.29)] Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09 - Monterey Phoenix, or how to make software architecture executable

Auguston, Mikhail

Year:

2009

Language:

english

File:

PDF, 514 KB

english, 2009

12

[ACM Press the 14th international conference - Ischia, Italy (2002.07.15-2002.07.19)] Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02 - Formal specification of generative component assembly using two-level grammar

Bryant, Barrett R., Burt, Carol C., Auguston, Mikhail, Raje, Rajeev R., Olson, Andrew M.

Year:

2002

Language:

english

File:

PDF, 145 KB

english, 2002

13

[IEEE Comput. Soc Eighth Israeli Conference on Computer Systems and Software Engineering - Herzliya, Israel (18-19 June 1997)] Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering - Visual data flow language based on iterative constructs

Year:

1997

Language:

english

File:

PDF, 722 KB

english, 1997

14

[IEEE 16th IEEE International Workshop on Rapid System Prototyping (RSP'05) - Montreal, Canada (08-10 June 2005)] 16th IEEE International Workshop on Rapid System Prototyping (RSP'05) - Test Automation and Safety Assessment in Rapid Systems Prototyping

Auguston, M., Michael, J.B., Shing, M.

Year:

2005

Language:

english

File:

PDF, 111 KB

english, 2005

15

[IEEE Comput. Soc 12th International Workshop on Rapid System Protyping. RSP 2001 - Monterey, CA, USA (25-27 June 2001)] Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001 - DCAPS-architecture for distributed computer aided prototyping system

Luqi, V., Berzins, J., Ge, J., Shing, M., Auguston, M., Bryant, B., Kin, B.

Year:

2001

Language:

english

File:

PDF, 546 KB

english, 2001

16

[IEEE 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Greenbelt, MD, USA (04-07 April 2005)] 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems

Shih-Hsi Liu,, Bryant, B.R., Gray, J.G., Raje, R.R., Olson, A.M., Auguston, M.

Year:

2005

Language:

english

File:

PDF, 202 KB

english, 2005

17

[IEEE Comput. Soc Seventh IEEE International Enterprise Distributed Object Computing Conference - Brisbane, Qld., Australia (16-19 Sept. 2003)] Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings. - Model driven security: unification of authorization models for fine-grain access control

Burt, C.C., Bryant, B.R., Raje, R.R., Olson, A., Auguston, M.

Year:

2003

Language:

english

File:

PDF, 307 KB

english, 2003

18

[IEEE 2017 12th System of Systems Engineering Conference (SoSE) - Waikoloa, HI, USA (2017.6.18-2017.6.21)] 2017 12th System of Systems Engineering Conference (SoSE) - Identifying decision patterns using Monterey Phoenix

Quartuccio, John, Giammarco, Kristin, Auguston, Mikhail

Year:

2017

Language:

english

File:

PDF, 1.98 MB

english, 2017

19

Behavioral Modeling of Software Intensive System Architectures

Farah-Stapleton, Monica, Auguston, Mikhail

Journal:

Procedia Computer Science

Year:

2013

Language:

english

File:

PDF, 438 KB

english, 2013

20

Modeling and Verifying Business Processes with Monterey Phoenix

Auguston, Mikhail, Giammarco, Kristin, Baldwin, W. Clifton, Crump, Ji’on, Farah-Stapleton, Monica

Journal:

Procedia Computer Science

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

21

A quality-of-service-based framework for creating distributed heterogeneous software components

Rajeev R. Raje, Barrett R. Bryant, Andrew M. Olson, Mikhail Auguston, Carol Burt

Journal:

Concurrency and Computation: Practice and Experience

Year:

2002

Language:

english

File:

PDF, 242 KB

english, 2002

22

[IEEE 2017 12th System of Systems Engineering Conference (SoSE) - Waikoloa, HI, USA (2017.6.18-2017.6.21)] 2017 12th System of Systems Engineering Conference (SoSE) - Deriving stochastic properties from behavior models defined by Monterey Phoenix

Quartuccio, John, Giammarco, Kristin, Auguston, Mikhail

Year:

2017

Language:

english

File:

PDF, 1.13 MB

english, 2017

23

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - Using Monterey Phoenix to Formalize and Verify System Architectures

Zhang, Jiexin, Liu, Yang, Auguston, Mikhail, Sun, Jun, Dong, Jin Song

Year:

2012

Language:

english

File:

PDF, 414 KB

english, 2012

24

Software system construction with examples in Ada: by Bo SANDEN; Prentice Hall; Englewood Cliffs, NJ, USA; 1994; 461 pp.; $47; ISBN: 0-13-030834-X

Mikhail Auguston

Journal:

Control Engineering Practice

Year:

1995

Language:

english

File:

PDF, 110 KB

english, 1995

25

A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling

Fei Cao, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 323 KB

english, 2005

26

Software architecture built from behavior models

Auguston, Mikhail

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2009

Language:

english

File:

PDF, 555 KB

english, 2009

27

Guest Editor’s Introduction to the Special Section on the 2nd Workshop on Advances in Model-based Software Testing (A-MOST’06)

Mikhail Auguston

Journal:

Software Quality Journal

Year:

2008

Language:

english

File:

PDF, 64 KB

english, 2008

28

[IEEE 2006 IEEE/SMC International Conference on System of Systems Engineering - Los Angeles, California, USA (April 24-26, 2006)] 2006 IEEE/SMC International Conference on System of Systems Engineering - Implementation and Analysis of Environment Behavior Models as a Tool for Testing Real-Time, Reactive Systems

Tummala, H., Auguston, M., Michael, J.B., Shing, M.-T., Little, D., Pace, Z.

Year:

2006

Language:

english

File:

PDF, 295 KB

english, 2006

29

PARFORMAN—AN ASSERTION LANGUAGE FOR SPECIFYING BEHAVIOR WHEN DEBUGGING PARALLEL APPLICATIONS

AUGUSTON, M., FRITZSON, P.

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

1996

Language:

english

File:

PDF, 1.40 MB

english, 1996

30

SPIE Proceedings [SPIE Optics/Photonics in Security and Defence - Stockholm, Sweden (Monday 11 September 2006)] Unmanned/Unattended Sensors and Sensor Networks III - A software design approach for heterogeneous systems of unattended sensors, unmanned vehicles, and monitoring stations

Smuda, William J., Carapezza, Edward M., Gerhart, Grant, Shing, Man-Tak, Auguston, Mikhail

Year:

2006

Language:

english

File:

PDF, 466 KB

english, 2006

31

[ACM Press the first international workshop - St. Louis, Missouri (2005.05.15-2005.05.21)] Proceedings of the first international workshop on Advances in model-based testing - A-MOST '05 - Environment behavior models for scenario generation and testing automation

Auguston, Mikhail, Michael, James Bret, Shing, Man-Tak

Year:

2005

Language:

english

File:

PDF, 135 KB

english, 2005

32

Executable Behavioral Modeling of System and Software Architecture Specifications to Inform Resourcing Decisions

Farah-Stapleton, Monica, Auguston, Mikhail, Giammarco, Kristin

Journal:

Procedia Computer Science

Year:

2016

Language:

english

File:

PDF, 462 KB

english, 2016

33

Well, You didn’t Say not to! A Formal Systems Engineering Approach to Teaching an Unruly Architecture Good Behavior

Giammarco, Kristin, Auguston, Mikhail

Journal:

Procedia Computer Science

Year:

2013

Language:

english

File:

PDF, 3.88 MB

english, 2013

34

[IEEE Comput. Soc. Press 1996 International Conference Software Engineering: Education and Practice - Dunedin, New Zealand (24-27 Jan. 1996)] Proceedings 1996 International Conference Software Engineering: Education and Practice - A debugger and assertion checker for the Awk programming language

Auguston, M., Banerjee, S., Mamnani, M., Nabi, G., Reinfelds, J., Sarkans, U., Strnad, I.

Year:

1996

Language:

english

File:

PDF, 666 KB

english, 1996

35

[IEEE Proceedings. IEEE International Conference on Web Services, 2004. - San Diego, CA, USA (2004.07.9-2004.07.9)] Proceedings. IEEE International Conference on Web Services, 2004. - A meta-modeling approach to Web services

Fei Cao,, Bryant, B.R., Wei Zhao,, Burt, C.C., Raje, R.R., Olson, A.M., Auguston, M.

Year:

2004

Language:

english

File:

PDF, 268 KB

english, 2004

36

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Two-level assurance of QoS requirements for distributed real-time and embedded systems

Liu, Shih-Hsi, Bryant, Barrett R., Gray, Jeffrey G., Raje, Rajeev, Olson, Andrew, Auguston, Mikhail

Year:

2005

Language:

english

File:

PDF, 79 KB

english, 2005

37

Formalizing and verifying stochastic system architectures using Monterey Phoenix

Song, Songzheng, Zhang, Jiexin, Liu, Yang, Auguston, Mikhail, Sun, Jun, Dong, Jin Song, Chen, Tieming

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 1.75 MB

english, 2016

38

Environment behavior models for scenario generation and testing automation

Auguston, Mikhail, Michael, James Bret, Shing, Man-Tak

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 135 KB

english, 2005

39

[ACM Press the 5th international workshop - Vienna, Austria (2007.09.26-2007.09.28)] Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems - JTRES '07 - A design pattern for using non-developmental items in real-time Java

Otani, T. W., Auguston, M., Cook, T. S., Drusinsky, D., Michael, J. B., Shing, M.

Year:

2007

Language:

english

File:

PDF, 354 KB

english, 2007

40

Successful use of Campath-1H in the treatment of steroid refractory liver GvHD

Wandroo, F, Auguston, B, Cook, M, Craddock, C, Mahendra, P

Journal:

Bone Marrow Transplantation

Year:

2004

Language:

english

File:

PDF, 92 KB

english, 2004

41

[ACM Press the third ACM SIGPLAN workshop - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '08 - A security domain model to assess software for exploitable covert channels

Shaffer, Alan B., Auguston, Mikhail, Irvine, Cynthia E., Levin, Timothy E.

Year:

2008

Language:

english

File:

PDF, 385 KB

english, 2008

42

[ACM Press Companion of the 17th annual ACM SIGPLAN conference - Seattle, Washington (2002.11.04-2002.11.08)] Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02 - A translation approach to component specification

Cao, Fei, Bryant, Barrett R., Zhao, Wei, Burt, Carol C., Raje, Rajeev R., Auguston, Mikhail, Olson, Andrew M.

Year:

2002

Language:

english

File:

PDF, 178 KB

english, 2002

43

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Marshaling and unmarshaling models using the entity-relationship model

Cao, Fei, Bryant, Barrett R., Zhao, Wei, Burt, Carol C., Raje, Rajeev R., Olson, Andrew M., Auguston, Mikhail

Year:

2005

Language:

english

File:

PDF, 336 KB

english, 2005

44

[IEEE Comput. Soc Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180) - Isle of Capri, Italy (23-26 Sept. 1997)] Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180) - Iterative constructs in the visual data flow language

Auguston, M., Delgado, A.

Year:

1997

Language:

english

File:

PDF, 613 KB

english, 1997

45

Using assertions in declarative and operational models for automated debugging

Peter Fritzson, Mikhail Auguston, Nahid Shahmehri

Journal:

Journal of Systems and Software

Year:

1994

Language:

english

File:

PDF, 1.79 MB

english, 1994

46

Controlling Design Complexity with the Monterey Phoenix Approach

Giammarco, Kristin, Auguston, Mikhail, Baldwin, W. Clifton, Crump, Ji’on, Farah-Stapleton, Monica

Journal:

Procedia Computer Science

Year:

2014

Language:

english

File:

PDF, 953 KB

english, 2014

47

[IEEE Comput. Soc ASE 2002. 17th IEEE International Conference on Automated Software Engineering - Edinburgh, UK (23-27 Sept. 2002)] Proceedings 17th IEEE International Conference on Automated Software Engineering, - A framework for automatic debugging

Auguston, M., Jeffery, C., Underwood, S.

Year:

2002

Language:

english

File:

PDF, 263 KB

english, 2002

48

[IEEE Comput. Soc. Press Software Education Conference (SRIG-ET'94) - Dunedin, New Zealand (22-25 Nov. 1994)] Proceedings Software Education Conference (SRIG-ET'94) - A visual Miranda machine

Auguston, M., Reinfelds, J.

Year:

1995

Language:

english

File:

PDF, 398 KB

english, 1995

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски